Real computation - PDFSEARCH.IO - Document Search Engine

Real computation
Results: 106

#	Item
91	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES Experimental computation of real numbers by Newtonian machines by Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-10-05 05:03:30 Computer science Applied mathematics Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Computable number Computability Theoretical computer science Theory of computation Computability theory
92	Motivation (Discrete) Polynomial Hierarchy Blum-Shub-Smale Models of Computation Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-03-02 07:15:36 Science Stephen Smale Computational complexity theory Blum–Shub–Smale machine Theory of computation Real algebraic geometry Hypercomputation Real computation Mathematics Theoretical computer science Algebraic geometry
93	Numbers, Numbers Sense, and Computation The equation below illustrates a property of real numbers. Add to Reading List Source URL: greenvalleyhs.org Language: English - Date: 2014-02-11 12:11:03 Elementary algebra Binary operations Elementary arithmetic Algebraic structures Multiplication Associative property Multiplicative inverse Addition Distributive property Mathematics Algebra Abstract algebra
94	Sino-Germany Project July, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Computable number Computable analysis Computable real function Low Turing machine Computable measure theory Computability Computable function Computability theory Theoretical computer science Theory of computation
95	Using UML for Modeling Complex Real-Time Systems Bran Selic, ObjecTime Limited Add to Reading List Source URL: www.ibm.com Language: English - Date: 2005-07-06 18:54:35 Models of computation Software engineering Information science Knowledge representation Unified Modeling Language Class diagram Finite-state machine Stereotype D-subminiature UML diagrams Data modeling Diagrams
96	Abstract Datatypes for Real Numbers in Type Theory Mart´ın H¨ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-02-13 07:08:13 Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Continuous function Structure Function Independence Mathematics Mathematical analysis Mathematical logic
97	Computing over the Reals: Where Turing Meets Newton [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-06-22 10:29:01 Computer science Theory of computation Computational complexity theory Computable number Computable function Turing machine Halting problem Computability Real computation Theoretical computer science Computability theory Applied mathematics
98	A Theory of Computation and Complexity over the Real Numbers Lenore Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:50:03 Applied mathematics Theory of computation Structural complexity theory Computational complexity theory Computable function Decision problem Reduction Polynomial Computability Theoretical computer science Mathematics Computability theory
99	The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra⋆ Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-07-21 04:33:36 Transcendental number Rounding Combinatory logic Algorithm Number Sign function Real number Floating point Transcendental function Mathematics Algebra Data types
100	Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-06 21:46:10 Mathematical logic Theory of computation Functions and mappings Formal methods Models of computation Function Computable number Sheaf Lambda calculus Mathematics Computability theory Theoretical computer science